double mysqrt(double a);